基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分，是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模，基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性，也表明了扩展标记变迁模型对于协议验证的有效性。     

中国维和警察学科理论体系基本框架构想

中国维和警察参与联合国维和行动已成为我国公安工作的重要内容，把中国维和警察理论作为中国警学的新兴学科，研究由联合国维和行动基本理论、中国维和警察特色理论、中国维和警察基础理论、中国维和警察专业理论、中国维和警察应用理论构建的中国维和警察学科理论体系基本框架，对我国维和警察工作的发展具有重要的促进作用。     

基于TOA差值矩阵的雷达脉冲序列PRI识别方法

针对雷达脉冲序列的主要特点,利用TOA(脉冲到达时间)差值矩阵探索PRI(脉冲重复间隔)的识别问题.设计了一种新方法,首先由TOA序列求出TOA差值矩阵,再求出TOA差值矩阵的逆矩阵,分析TOA差值矩阵逆矩阵的特殊结构,得到PRI的识别结果.通过研究重频固定、脉冲丢失和重频参差三种情况下的PRI识别问题,说明了该方法用于雷达脉冲序列PRI识别的可行性.     

非对消解耦方法在硬式空中加油管控制中的应用

研究了硬式空中加油管的控制问题,基于对伸缩管模型的分析,得出伸缩管必须进行解耦才可有效控制的结论;基于模型存在S右半平面零点的特征,提出了利用非对消解耦方法解决硬式空中加油管的控制问题。通过Matlab/Simulink进行仿真,结果表明该方法可以有效地消除系统间的耦合作用,能够满足伸缩管的控制需要。     

GA BP网络在机体研制费用预测中的应用

针对目前BP神经网络在应用中,网络结构难以确定以及网络极易陷入局部解问题,用遗传算法优化神经网络的连接权和网络结构,并在遗传进化过程中引入交叉概率和变异概率与个体的适度值相联系,改进了操作算子,而且在交叉操作后又引入模拟退火机制,提高遗传算法的局部搜索能力.建立了基于改进遗传算法的BP网络费用预测模型,并以某型飞机机体进行实例分析,计算结果表明,该方法预测的准确性更高,且预测结果稳定.     

不同热化学模型对表面传热影响的数值分析

研究不同热化学模型及壁面催化条件对表面传热的影响 ,包括 :(1)不同组元的高温空气模型 (7组元、 11组元 )的比较 ;(2 )热力非平衡 (双温度 )的化学动力过程与热力平衡 (单温度 )的化学动力过程的比较 ;(3)不同壁面催化条件的比较。     

时延辅助信息的水下无源定位方法

以潜艇水听器阵列所构成的系统为例,建立了一种水下无源定位算法.以观测方位和到达不同传感器的时延差为基础,建立了状态方程和观测方程.利用扩展卡尔曼滤波算法,对系统进行了目标运动分析.蒙特卡洛模拟仿真试验结果表明上述方法具有较高的定位性能.该系统构成简单,在打击水下目标方面有良好的应用前景.     

基于EMA算法的变结构交互多模型算法

标准交互多模型(IMM)算法使用固定数目和时不变的模型集,往往不能兼顾算法的实时性与跟踪精度。基于增加期望模型(EMA)算法的思想,提出综合利用前一时刻的模型匹配概率与当前时刻的混合概率作为加权系数调整系统噪声模型集,调整后的模型集被认为非常接近系统实际噪声模型。将该模型集自适应技术与IMM算法结合得到一种变结构交互多模型(EMA-VIMM)算法。使用机动目标跟踪仿真实例,与标准IMM算法进行了仿真对比,分析了跟踪性能与RMSE误差。仿真结果表明,EMA-VIMM算法不仅极大地提高了跟踪精度,而且与标准IMM算法相比,具有稳定的跟踪性能和较低的计算量。     

复杂环境下基于多目标粒子群的DWA路径规划算法

针对机器人在障碍物分布密集的复杂环境中运行时,动态窗口法(dynamic window approach,DWA)易出现避障失败或规划不合理的情况,提出一种基于多目标粒子群优化算法(multi-objective particle swarm optimization,MOPSO)的改进DWA规划算法。在建立多障碍物环境覆盖模型的基础上,提出一种障碍物密集度的判断方法;优化DWA算法中的子评价函数;利用改进的MOPSO算法实现DWA权重系数的动态调整,将权重系数的自适应变化问题转化为多目标优化问题;根据路径规划的要求将安全距离和速度作为优化目标,并使用改进的MOPSO算法对相应的多目标优化模型进行优化求解。仿真结果表明,该算法使机器人有效地通过障碍〖BHDWG8,WK10YQ,DK1*2,WK1*2D〗〖XCLXY.TIF;%129%129〗听语音 聊科研与作者互动 物密集区的同时兼顾了运行的安全性和速度,具有更好的路径规划效果。     

基于模糊多属性决策的反装甲目标战场价值评估

信息化战场反装甲目标层出不穷,指挥员决策难度增大。针对反装甲目标信息的复杂性,应用模糊多属性决策理论,提出坦克分队进攻战斗中敌反装甲目标战场价值评估的方法。并通过确定各决策因素指标值和计算加权值,构建价值评估多属性决策模型,快速有效地确定分队本级范畴内的敌反装甲目标的战场价值,有利于分队指挥员迅速果断地实现其作战指挥决策。